#include "stdio.h"
#include "add.h"
int main()
{
  printf("%d\n",ADD(1,2));
  return 0;
}
